Inhalt des Dokuments

Diplom

Java goes TLA+

Donnerstag, 20. Januar 2011

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kammüller

Lau, Hannes

Ausgehend von Java Code werden entsprechende Beschreibungen in der Temporallogik TLA+ erzeugt.  Diese werden im Hinblick auf formale Spezifikationen, ebenfalls formuliert in TLA+, mit Hilfe von Verfeinerungsrelationen validiert.

---